Symbolic computation

Results: 169



#Item
21Nullspace computation over rational function fields for symbolic summation Bur¸cin Er¨ocal RISC Johannes Kepler University Linz, Austria, A-4040

Nullspace computation over rational function fields for symbolic summation Bur¸cin Er¨ocal RISC Johannes Kepler University Linz, Austria, A-4040

Add to Reading List

Source URL: erocal.org

Language: English - Date: 2013-03-16 14:14:30
22In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science 1110, Springer, 1996 ppInvited paper) A Comparative Revisitation of Some Program Tran

In: Partial Evaluation, International Seminar, Dagstuhl Castle, Germany, February 1996, Lecture Notes in Computer Science 1110, Springer, 1996 ppInvited paper) A Comparative Revisitation of Some Program Tran

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:37
23RLFI A REDUCE LATEX Formula Interface VersionRichard Liska, Ladislav Drska Computational Physics Group Faculty of Nuclear Sciences and Physical Engineering

RLFI A REDUCE LATEX Formula Interface VersionRichard Liska, Ladislav Drska Computational Physics Group Faculty of Nuclear Sciences and Physical Engineering

Add to Reading List

Source URL: reduce-algebra.com

Language: English - Date: 2008-12-30 11:47:39
24To be published in: LISP AND SYMBOLIC COMPUTATION: An International Journal, 4, 3, 1991 © 1991 Kluwer Academic Publishers - Manufactured in The Netherlands An Efficient Implementation of SELF, a Dynamically-Typed Object

To be published in: LISP AND SYMBOLIC COMPUTATION: An International Journal, 4, 3, 1991 © 1991 Kluwer Academic Publishers - Manufactured in The Netherlands An Efficient Implementation of SELF, a Dynamically-Typed Object

Add to Reading List

Source URL: bibliography.selflanguage.org

Language: English
25An Automated Confluence Proof for an Infinite Rewrite System via a Gr¨obner Basis Computation Loredana Tec∗ Research Institute for Symbolic Computation, Johannes Kepler University, Castle of Hagenberg, Austria 4032 lt

An Automated Confluence Proof for an Infinite Rewrite System via a Gr¨obner Basis Computation Loredana Tec∗ Research Institute for Symbolic Computation, Johannes Kepler University, Castle of Hagenberg, Austria 4032 lt

Add to Reading List

Source URL: dream.inf.ed.ac.uk

Language: English - Date: 2010-07-11 12:18:59
26Fraction-free Computation of Simultaneous Padé Approximants George Labahn Symbolic Computation Group Cheriton School of Computer Science University of Waterloo, Canada

Fraction-free Computation of Simultaneous Padé Approximants George Labahn Symbolic Computation Group Cheriton School of Computer Science University of Waterloo, Canada

Add to Reading List

Source URL: issac2009.kias.re.kr

Language: English - Date: 2009-07-30 19:41:13
27Symbolic-Numeric Computation D. Wang and L. Zhi, Eds. Trends in Mathematics, 335–347 c 2007 Birkh¨ auser Verlag Basel/Switzerland

Symbolic-Numeric Computation D. Wang and L. Zhi, Eds. Trends in Mathematics, 335–347 c 2007 Birkh¨ auser Verlag Basel/Switzerland

Add to Reading List

Source URL: www.apmaths.uwo.ca

Language: English - Date: 2007-01-30 13:16:41
28INVERSE INEQUALITY ESTIMATES WITH SYMBOLIC COMPUTATION ¨ CHRISTOPH KOUTSCHAN, MARTIN NEUMULLER, AND CRISTIAN-SILVIU RADU

INVERSE INEQUALITY ESTIMATES WITH SYMBOLIC COMPUTATION ¨ CHRISTOPH KOUTSCHAN, MARTIN NEUMULLER, AND CRISTIAN-SILVIU RADU

Add to Reading List

Source URL: www.koutschan.de

Language: English - Date: 2016-04-29 08:40:41
29July 28–31, 2009, Seoul, Korea Conference Program A registration desk will be located in front of the Main Auditorium in Bldg 1 during the conference. You can get your banquet ticket at the registration desk. Plenary

July 28–31, 2009, Seoul, Korea Conference Program A registration desk will be located in front of the Main Auditorium in Bldg 1 during the conference. You can get your banquet ticket at the registration desk. Plenary

Add to Reading List

Source URL: issac2009.kias.re.kr

Language: English - Date: 2009-07-25 10:25:43
30DRAGONFLY: A JAVA-BASED IAMC CLIENT PROTOTYPE WEIDONG LIAO, PAUL S. WANG Institute for Computational Mathematics Department of Mathematics & Computer Science Kent State University Kent, Ohio 44242, U.S.A.

DRAGONFLY: A JAVA-BASED IAMC CLIENT PROTOTYPE WEIDONG LIAO, PAUL S. WANG Institute for Computational Mathematics Department of Mathematics & Computer Science Kent State University Kent, Ohio 44242, U.S.A.

Add to Reading List

Source URL: icm.mcs.kent.edu

Language: English - Date: 2001-04-01 20:43:16